[tail] [up]

2.2.1 Integrals 1 to 64

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 148 2454 179 1236 0 248 828

N.S.

1 1.00 0.64 10.53 0.77 5.30 0.00 1.06 3.55

time (sec)

N/A 0.214 0.896 12.088 0.530 2.746 0.000 0.646 0.925

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 34 31 23 48 22 40 20

N.S.

1 1.00 1.70 1.55 1.15 2.40 1.10 2.00 1.00

time (sec)

N/A 0.010 0.028 0.077 0.524 2.723 0.050 0.463 0.336

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 71 68 63 127 68 114 45

N.S.

1 1.00 1.51 1.45 1.34 2.70 1.45 2.43 0.96

time (sec)

N/A 0.024 1.250 0.087 0.526 2.940 0.087 0.440 0.118

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 111 116 112 253 126 229 76

N.S.

1 1.00 1.42 1.49 1.44 3.24 1.62 2.94 0.97

time (sec)

N/A 0.035 2.904 0.098 0.495 3.259 0.133 0.534 0.454

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 49 56 48 252 238 65 41

N.S.

1 1.00 1.00 1.14 0.98 5.14 4.86 1.33 0.84

time (sec)

N/A 0.051 0.061 0.257 0.493 3.485 0.695 0.491 0.124

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 90 99 115 534 2125 123 119

N.S.

1 1.00 0.93 1.02 1.19 5.51 21.91 1.27 1.23

time (sec)

N/A 0.075 0.963 0.328 0.506 3.060 9.355 0.472 0.786

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 138 148 228 1068 8964 206 2500

N.S.

1 1.00 0.92 0.99 1.52 7.12 59.76 1.37 16.67

time (sec)

N/A 0.118 0.330 0.453 0.525 3.176 49.587 0.549 3.287

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 51 19 300 91 0 32 18

N.S.

1 1.00 2.32 0.86 13.64 4.14 0.00 1.45 0.82

time (sec)

N/A 0.013 0.111 0.184 0.545 3.020 0.000 0.425 0.375

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

5 5 28 6 35 53 0 10 5

N.S.

1 1.00 5.60 1.20 7.00 10.60 0.00 2.00 1.00

time (sec)

N/A 0.011 0.015 0.199 0.600 2.257 0.000 0.454 0.318

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 13 10 21 14 28 12

N.S.

1 1.00 1.00 1.08 0.83 1.75 1.17 2.33 1.00

time (sec)

N/A 0.013 0.012 0.128 0.503 2.659 0.158 0.425 0.392

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B C F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 48 32 284 73 0 34 31

N.S.

1 1.00 1.37 0.91 8.11 2.09 0.00 0.97 0.89

time (sec)

N/A 0.018 0.088 0.125 0.619 2.280 0.000 0.434 0.368

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A C F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 30 15 17 19 0 11 14

N.S.

1 1.00 2.14 1.07 1.21 1.36 0.00 0.79 1.00

time (sec)

N/A 0.015 0.021 0.126 0.530 2.697 0.000 0.433 0.394

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A C F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 15 12 14 0 28 13

N.S.

1 1.00 1.00 1.07 0.86 1.00 0.00 2.00 0.93

time (sec)

N/A 0.016 0.009 0.081 0.540 2.220 0.000 0.421 0.682

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 19 29 24 27 0 25 17

N.S.

1 1.00 0.68 1.04 0.86 0.96 0.00 0.89 0.61

time (sec)

N/A 0.063 0.028 0.171 0.281 2.720 0.000 0.421 0.586

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 32 38 27 77 0 49 -1

N.S.

1 1.00 1.03 1.23 0.87 2.48 0.00 1.58 -0.03

time (sec)

N/A 0.067 0.037 0.198 0.579 2.992 0.000 0.410 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 10 11 8 27 12 11 10

N.S.

1 1.00 1.00 1.10 0.80 2.70 1.20 1.10 1.00

time (sec)

N/A 0.033 0.013 0.111 0.291 2.906 0.647 0.440 0.476

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 49 56 52 78 0 12 20

N.S.

1 1.00 1.36 1.56 1.44 2.17 0.00 0.33 0.56

time (sec)

N/A 0.057 0.039 0.572 0.498 2.947 0.000 0.457 0.423

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 19 33 18 35 0 25 34

N.S.

1 1.00 0.66 1.14 0.62 1.21 0.00 0.86 1.17

time (sec)

N/A 0.072 0.036 0.421 0.527 2.395 0.000 0.423 0.727

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 65 90 0 330 0 0 66

N.S.

1 1.00 0.98 1.36 0.00 5.00 0.00 0.00 1.00

time (sec)

N/A 0.082 0.199 0.222 0.000 3.398 0.000 0.000 3.157

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 48 77 0 248 0 95 53

N.S.

1 1.00 1.00 1.60 0.00 5.17 0.00 1.98 1.10

time (sec)

N/A 0.049 0.030 0.135 0.000 3.186 0.000 0.478 1.170

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 60 591 0 351 0 187 69

N.S.

1 1.00 1.00 9.85 0.00 5.85 0.00 3.12 1.15

time (sec)

N/A 0.068 0.031 0.829 0.000 2.722 0.000 0.497 0.477

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

89 89 2105 177 0 768 0 0 -1

N.S.

1 1.00 23.65 1.99 0.00 8.63 0.00 0.00 -0.01

time (sec)

N/A 0.084 22.859 0.151 0.000 2.491 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 78 141 0 515 0 210 -1

N.S.

1 1.00 1.20 2.17 0.00 7.92 0.00 3.23 -0.02

time (sec)

N/A 0.031 0.169 0.177 0.000 2.594 0.000 1.724 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 44 752 0 193 0 239 -1

N.S.

1 1.00 0.86 14.75 0.00 3.78 0.00 4.69 -0.02

time (sec)

N/A 0.059 0.109 0.889 0.000 3.503 0.000 0.467 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

85 85 174 951 0 239 0 476 -1

N.S.

1 1.00 2.05 11.19 0.00 2.81 0.00 5.60 -0.01

time (sec)

N/A 0.096 1.677 0.643 0.000 2.787 0.000 0.489 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 91 176 0 486 0 0 120

N.S.

1 1.00 1.03 2.00 0.00 5.52 0.00 0.00 1.36

time (sec)

N/A 0.091 0.554 0.161 0.000 3.497 0.000 0.000 11.132

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 253 323 0 1134 0 0 -1

N.S.

1 1.00 1.99 2.54 0.00 8.93 0.00 0.00 -0.01

time (sec)

N/A 0.152 1.286 0.125 0.000 3.435 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 63 163 0 330 0 0 70

N.S.

1 1.00 0.91 2.36 0.00 4.78 0.00 0.00 1.01

time (sec)

N/A 0.062 0.184 0.125 0.000 4.167 0.000 0.000 3.535

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 2628 0 565 0 0 506

N.S.

1 1.00 1.00 35.04 0.00 7.53 0.00 0.00 6.75

time (sec)

N/A 0.083 0.082 0.730 0.000 5.083 0.000 0.000 0.540

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 222 1276 0 543 0 0 -1

N.S.

1 1.00 2.78 15.95 0.00 6.79 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.795 0.642 0.000 6.165 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 169 580 0 1520 0 0 -1

N.S.

1 1.00 0.99 3.39 0.00 8.89 0.00 0.00 -0.01

time (sec)

N/A 0.130 0.881 0.329 0.000 3.819 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 143 329 0 1071 0 0 -1

N.S.

1 1.00 1.13 2.61 0.00 8.50 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.481 0.233 0.000 3.490 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 107 169 0 703 0 0 -1

N.S.

1 1.00 1.23 1.94 0.00 8.08 0.00 0.00 -0.01

time (sec)

N/A 0.039 0.061 0.238 0.000 3.118 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 111 68 0 239 0 97 41

N.S.

1 1.00 2.36 1.45 0.00 5.09 0.00 2.06 0.87

time (sec)

N/A 0.024 0.482 0.322 0.000 3.938 0.000 1.380 0.854

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

85 85 231 102 0 526 0 300 -1

N.S.

1 1.00 2.72 1.20 0.00 6.19 0.00 3.53 -0.01

time (sec)

N/A 0.051 3.761 0.197 0.000 3.317 0.000 0.964 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

135 135 367 162 0 898 0 1160 -1

N.S.

1 1.00 2.72 1.20 0.00 6.65 0.00 8.59 -0.01

time (sec)

N/A 0.082 7.996 0.224 0.000 3.338 0.000 1.485 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

190 190 2553 253 0 1452 0 3249 -1

N.S.

1 1.00 13.44 1.33 0.00 7.64 0.00 17.10 -0.01

time (sec)

N/A 0.146 14.780 0.226 0.000 3.188 0.000 2.694 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 123 51 0 110 0 257 104

N.S.

1 1.00 2.28 0.94 0.00 2.04 0.00 4.76 1.93

time (sec)

N/A 0.032 0.438 0.197 0.000 2.404 0.000 0.483 0.837

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 62 34 0 68 0 170 88

N.S.

1 1.00 1.94 1.06 0.00 2.12 0.00 5.31 2.75

time (sec)

N/A 0.018 0.075 0.208 0.000 2.585 0.000 0.502 0.963

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 42 31 90 56 0 34 85

N.S.

1 1.00 1.50 1.11 3.21 2.00 0.00 1.21 3.04

time (sec)

N/A 0.013 0.072 0.255 0.549 3.131 0.000 0.452 0.626

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 121 48 0 170 0 179 -1

N.S.

1 1.00 1.98 0.79 0.00 2.79 0.00 2.93 -0.02

time (sec)

N/A 0.028 0.133 0.178 0.000 2.642 0.000 0.744 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 60 35 0 123 0 0 34

N.S.

1 1.00 1.43 0.83 0.00 2.93 0.00 0.00 0.81

time (sec)

N/A 0.017 0.049 0.167 0.000 2.606 0.000 0.000 0.432

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 45 21 143 60 0 45 20

N.S.

1 1.00 1.73 0.81 5.50 2.31 0.00 1.73 0.77

time (sec)

N/A 0.012 0.034 0.184 0.562 3.394 0.000 0.433 0.502

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 52 44 0 284 0 96 44

N.S.

1 1.00 1.00 0.85 0.00 5.46 0.00 1.85 0.85

time (sec)

N/A 0.066 0.160 0.133 0.000 3.659 0.000 0.478 1.207

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 158 80 0 588 0 229 -1

N.S.

1 1.00 2.47 1.25 0.00 9.19 0.00 3.58 -0.02

time (sec)

N/A 0.064 0.294 0.174 0.000 2.979 0.000 1.923 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 29 0 127 0 61 27

N.S.

1 1.00 1.00 0.88 0.00 3.85 0.00 1.85 0.82

time (sec)

N/A 0.041 0.018 0.206 0.000 3.158 0.000 0.459 0.963

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 60 376 0 419 0 236 93

N.S.

1 1.00 1.00 6.27 0.00 6.98 0.00 3.93 1.55

time (sec)

N/A 0.065 0.049 0.627 0.000 2.489 0.000 0.487 0.513

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

54 54 134 328 0 229 0 216 -1

N.S.

1 1.00 2.48 6.07 0.00 4.24 0.00 4.00 -0.02

time (sec)

N/A 0.064 1.670 0.678 0.000 3.504 0.000 0.472 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 59 68 0 385 0 109 52

N.S.

1 1.00 1.00 1.15 0.00 6.53 0.00 1.85 0.88

time (sec)

N/A 0.076 0.239 0.129 0.000 2.487 0.000 0.470 1.917

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 137 99 0 388 0 161 -1

N.S.

1 1.00 2.32 1.68 0.00 6.58 0.00 2.73 -0.02

time (sec)

N/A 0.064 0.753 0.147 0.000 4.059 0.000 0.498 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 44 56 0 344 48 105 47

N.S.

1 1.00 0.80 1.02 0.00 6.25 0.87 1.91 0.85

time (sec)

N/A 0.056 0.044 0.132 0.000 3.000 4.743 0.471 1.779

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 75 962 0 863 0 340 1451

N.S.

1 1.00 0.89 11.45 0.00 10.27 0.00 4.05 17.27

time (sec)

N/A 0.089 0.056 0.661 0.000 2.890 0.000 0.491 0.482

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

92 92 674 421 0 393 0 359 -1

N.S.

1 1.00 7.33 4.58 0.00 4.27 0.00 3.90 -0.01

time (sec)

N/A 0.106 6.891 1.728 0.000 2.851 0.000 0.459 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 69 88 0 698 0 219 88

N.S.

1 1.00 0.84 1.07 0.00 8.51 0.00 2.67 1.07

time (sec)

N/A 0.090 0.131 0.165 0.000 2.881 0.000 0.495 4.236

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

94 94 200 161 0 720 0 278 -1

N.S.

1 1.00 2.13 1.71 0.00 7.66 0.00 2.96 -0.01

time (sec)

N/A 0.090 6.864 0.145 0.000 3.253 0.000 0.517 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 47 75 0 627 70 215 82

N.S.

1 1.00 0.60 0.96 0.00 8.04 0.90 2.76 1.05

time (sec)

N/A 0.066 0.049 0.116 0.000 3.278 8.210 0.461 4.462

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 78 0 0 1531 0 527 2500

N.S.

1 1.00 0.66 0.00 0.00 12.97 0.00 4.47 21.19

time (sec)

N/A 0.130 0.072 0.370 0.000 3.338 0.000 0.498 1.051

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

141 141 1450 1040 0 647 0 537 -1

N.S.

1 1.00 10.28 7.38 0.00 4.59 0.00 3.81 -0.01

time (sec)

N/A 0.162 8.078 2.145 0.000 2.694 0.000 0.528 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 43 39 33 24 34 34 37

N.S.

1 1.00 1.16 1.05 0.89 0.65 0.92 0.92 1.00

time (sec)

N/A 0.042 0.039 0.143 0.521 3.225 0.118 0.447 0.720

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 86 139 0 1063 0 204 -1

N.S.

1 1.00 0.96 1.54 0.00 11.81 0.00 2.27 -0.01

time (sec)

N/A 0.093 0.171 0.323 0.000 3.959 0.000 0.474 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 167 312 0 1486 0 445 -1

N.S.

1 1.00 1.33 2.48 0.00 11.79 0.00 3.53 -0.01

time (sec)

N/A 0.143 4.627 0.244 0.000 3.300 0.000 0.651 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 41 65 0 264 0 58 -1

N.S.

1 1.00 1.00 1.59 0.00 6.44 0.00 1.41 -0.02

time (sec)

N/A 0.044 0.020 0.366 0.000 3.800 0.000 0.470 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 73 248 0 670 0 111 -1

N.S.

1 1.00 0.99 3.35 0.00 9.05 0.00 1.50 -0.01

time (sec)

N/A 0.077 0.304 3.330 0.000 3.427 0.000 0.467 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 114 602 0 1365 0 276 -1

N.S.

1 1.00 0.97 5.15 0.00 11.67 0.00 2.36 -0.01

time (sec)

N/A 0.131 0.781 3.327 0.000 3.872 0.000 0.457 0.000

[front] [up]